-
1 доказательство обратного
•However, evidence to the contrary exists.
Русско-английский научно-технический словарь переводчика > доказательство обратного
-
2 доказательство обратного
Mathematics: evidence to the contraryУниверсальный русско-английский словарь > доказательство обратного
-
3 доказательство обратного
•However, evidence to the contrary exists.
Русско-английский научно-технический словарь переводчика > доказательство обратного
-
4 доказательство
proof (of), demonstration (of), argument, evidence (for)•Альтернативное доказательство может быть получено (путем, на пути)... - An alternate proof may be obtained by...• Альтернативное доказательство оставлено в качестве упражнения 1.3. - An alternative proof is left to Exercise 1.3.• Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...• Более простое прямое доказательство было дано Смитом [1]. Мы следуем его методу. - A simpler direct proof was given by Smith [1], whose method we follow here.• В качестве упражнения мы оставляем читателю доказательство, что... - It is left as an exercise for the reader to show that...• Вдобавок, это доказательство можно слегка упростить... - Incidentally, this proof can be made somewhat simpler by...• Дадим формальное доказательство (этого). - The formal proof is as follows.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...• Для доказательства второго утверждения (теоремы) мы выписываем... - То prove part (ii), we write...• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Доказательство (теоремы) довольно длинное, поэтому мы разобьем его на несколько шагов. - The proof is rather long, so we shall break it up into several steps.• Доказательство (этого факта, этой теоремы и т. п.) простое, и потому мы оставляем его читателю. - The proof is simple; we leave it to the reader.• Доказательство леммы закончено (= завершено). - The proof of the lemma is finished; This proves the lemma.• Доказательство не закончено до тех пор, пока мы не... - The proof is not complete until we...• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Доказательство проводится методом индукции по п. - The proof is by induction on n.• Доказательство проводится от противного. - The argument is by reductio ad absurdum.• Доказательство следует почти немедленно из определения... - The proof is almost immediate from the definition of...• Доказательство становится неверным, если... - The proof breaks down if...• Доказательство теоремы завершено. - This completes the proof; The theorem is proved; QED• Доказательство этого легкое (= несложное). - The proof is easy.• Доказательство этого факта подобно доказательству теоремы 2. - This proof is similar to the proof of Theorem 2.• Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.• Его доказательство является достаточно элементарным. - The proof is quite elementary.• Затем мы переключаем наше внимание на доказательство того, что... - We turn our attention next to proving that...• Затем нам нужно будет одно особое доказательство, чтобы продемонстрировать, что... - We will then need a special argument to show that...• Здесь мы уже подошли к чисто геометрическому доказательству... - Here we have arrived at a purely geometrical proof of...• Имеются все доказательства того, что... - There is every indication that...• Метод доказательства аналогичен методу, использованному Бляшке [3]. - The proof method is analogous to the method used by Blashke [3].• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Мы накопили ряд убедительных доказательств того, что... - We have amassed a convincing body of evidence that...• Мы начинаем доказательство с... - We begin the proof by...• Мы начинаем с доказательства двух лемм. - We begin by proving two lemmas.• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю дополнить детали (доказательства). - The details are left to the reader,• Мы примем этот важный факт без доказательства. - We shall accept this important fact without proof.• Мы рассуждаем так же, как при доказательстве теоремы 1. (= Мы полностью повторяем рассуждения из доказательства теоремы 1. ) - We argue exactly as in the proof of Theorem 1.• Наш первый шаг состоит в доказательстве, что... - Our first task is to prove...• Наше доказательство, в основном, повторяет доказательство леммы 2 из [1]. - Our proof follows along the lines of Lemma 2 of [1].• Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...• Нет никаких экспериментальных доказательств, показывающих, что... - There is no experimental evidence to indicate that...• Однако (его/ее) доказательство не является настолько простым, как можно было бы подумать (= вообразить). - The proof, however, is not as easy as one might think.• Однако доказательство данной гипотезы сложное, потому что... - However, proof of this hypothesis is difficult because...• Однако имеется огромное множество доказательств (= свидетельств) того, что... - But there is a great deal of evidence that...(= предоставляется) читателю. - The remainder of the proof is left to the reader.• Остальная часть доказательства проводится уже более или менее просто. - The rest of the proof is now more or less straightforward.• В работе Смита [1] приведено доказательство при менее ограничительных условиях. - For a proof under less restrictive conditions, see Smith [1].• Перед тем как мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Предшествующее доказательство принадлежит лорду Рэлею [1]. - The foregoing proof is due to Lord Rayleigh [1].• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• Простое и прямое доказательство может быть получено... - A simple and direct proof can be obtained by...• Разобьем доказательство на два шага (= две части). - We shall divide the proof into two steps.• С целью экономии места мы опускаем доказательство... - We omit the proof in order to save space; For reasons of space we omit the proof of...• Сейчас имеется огромное количество доказательств того, что... - There is now overwhelming evidence that...• Следующее доказательство является небольшой модификацией доказательства, данного Смитом [1]. - The following proof is a slight modification of that given by Smith [1].• Смит [1] дал общее доказательство того, что... - Smith [1] has given a general proof that...• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы приведем пропущенные детали доказательства. - We now proceed to fill in the details; We shall now fill in the details.• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Центральной частью доказательства является то, что... - The crux of the proof is that...• Чтобы завершить доказательство, мы... - In order to finish the proof, we...; Finally, we...• Чтобы завершить доказательство, мы выпишем... - For the remainder of the proof we write...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы закончить доказательство, мы... - In order to complete the proof, we...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Это доказательство легко изменить для того, чтобы показать, что... - The proof is easily adapted to show that...• Это доказательство основывается на факте, что... - The proof is based on the fact that...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это приводит к противоречию, и следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Этот метод доказательства весьма оригинален. - The method of proof is quite ingenious.• Этот метод доказательства довольно общий и применим к... - The method of proof is quite general and applies to...• Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4. -
5 доказательство от обратного
Русско-английский научно-технический словарь переводчика > доказательство от обратного
-
6 доказательство от обратного
Mathematics: proof by contradiction, proof by contradiction, (by) reductio ad absurdum proof, reductio ad absurdum proofУниверсальный русско-английский словарь > доказательство от обратного
-
7 доказательство от обратного
Русско-английский научно-технический словарь переводчика > доказательство от обратного
-
8 от обратного
Русско-английский научно-технический словарь переводчика > от обратного
-
9 утверждение
statement, assertion, confirmation, affirmation, claim, proposition, conclusion• Вы согласны с этим утверждением? - Do you agree with his assertion?• Данное утверждение интуитивно очевидно, если исходить из того факта, что... - The proposition is intuitively obvious from the fact that...• Данное утверждение немедленно следует из... - The statement follows at once from...• Данное утверждение ничем не оправдывается. - This assertion has no justification.• Для доказательства утверждения (ii) мы выписываем... - То prove part (ii), we write...• Для обратного утверждения необходимы более глубокие рассуждения. - A deeper argument is required for the converse.• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Единственным исключением для этого утверждения является... - The only exception to this statement is...• Если только не сделано некоторое специальное противоположное утверждение,... - Unless a specific statement to the contrary is made,...• Из вышеуказанного утверждения вытекает следующий дополнительный результат. - The above argument gives us the following additional result.• Каждое из этих утверждений легко доказывается (путем)... - Each of these statements is readily proved by...• Как мы можем различить эти два утверждения? - How can we reconcile these two statements?• Как указывает это утверждение... - As the statement indicates...• Легко проверить справедливость следующих утверждений. - It is easy to verify the truth of the following statements.• Мое предыдущее утверждение содержит весьма серьезную ошибку. - My previous assertion contains a rather serious error.• Мое прежнее утверждение было неверным. - My prior assertion was wrong.• Мое утверждение было неверным. - My statement was incorrect.• Мы вернемся к этому утверждению позже. - We shall return to this point later.• Мы могли бы подытожить эти результаты утверждением, что... - We may summarize these results with the statement that...• Мы не будем доказывать здесь весьма разумное утверждение, что... - We will not prove here the very reasonable statement that...• Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю проверку данного утверлсдения. - We leave verification of this assertion to the reader.• Однако мы не будет детально обсуждать здесь это утверждение. - We shall not, however, discuss this point in detail here.• Основание данного утверлсдения покоится/находится в... - The basis for this assertion lies in...• Подобное утверждение невозможно принять без дальнейшего обоснования. - One cannot, without further justification, accept such a...• Приведем точную форму утверждения. - The precise statement is as follows.• Следующие утверлсдения часто используются для того, чтобы определить... - The following propositions are often used to determine...• Следующий пример может сделать это утверждение яснее. - The following example may make this point clearer.• Существенная идея, лежащая в основе этих утверждений, состоит в том, что... - The essential idea underlying these statements is that of...• Теперь мы сформулируем более общее утверлсдение (относительно)... - We now give a more general statement of...• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Утверлсдение (ii) выполняется для любого т. - For any т the statement of (ii) holds.• Фундаментальным утверждением является то, что каждый... - It is a fundamental fact that every...• Часто делается утверлсдение, что... - The statement is often made that...• Читатель должен проверить выполнение этих соотношений. - The reader should verify these statements.• Чтобы конкретизировать это утверждение, рассмотрим... - То make this statement more concrete consider...• Чтобы доказать это утверлсдение, мы сделаем упрощающее предположение,, что... - То prove this statement, we make the simplifying assumption that...• Чтобы проиллюстрировать предыдущие утверлсдения, рассмотрим эксперимент, в котором... - То illustrate the preceding statements, let us consider an experiment in which...• Это доказывает первое утверлсдение. - This proves the first assertion.• Это поддерживает наше утверлсдение о том, что... - This supports our statement that...• Это просто утверлсдение, сделанное с целью (чего-л). - This is simply a statement to the effect that...• Это утверлсдение полностью справедливо, только если... - This statement is strictly true only if...• Это утверлсдение становится понятным только когда... - This point becomes clear only when... -
10 обратный
inverse, converse, reverse, back, reciprocal, opposite, inverted• Возникает вопрос, действительно ли обратное (утверждение и т. п.) выполняется необходимо. - A question arises as to whether the converse necessarily holds.• Для обратного (утверждения) необходимы более глубокие рассуждения. - A deeper argument is required for the converse.• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Как мы уже видели, обратное утверждение, неверно. - The converse, as we have seen, is false.• Обратное (= противоположное) не является справедливым: ничего нельзя сказать относительно... - The converse is not true: nothing can be said about...• Обратное (утверждение), хотя и менее тривиальное, тоже верно. - The converse, though less trivial, is also true.• Обратное не является справедливым. - The converse is not true.• Обратное положение имеет место в отношении... - The opposite situation occurs over...• Обратное утверждение может быть также установлено. - A converse can also be stated.• Однако обратное (утверждение) не обязательно справедливо. - The converse is not necessarily true, however.• Чтобы доказать обратное, достаточно заметить, что... - То prove the converse it is sufficient to notice that...• Чтобы показать, что обратное несправедливо, мы должны... - То show that the converse is false, we must... -
11 evidence to the contrary
1) Математика: доказательство обратного2) Юридический термин: доказательство противногоУниверсальный англо-русский словарь > evidence to the contrary
-
12 оставить
(= оставлять) leave• В качестве упражнения мы оставляем читателю доказательство, что... - It is left as an exercise for the reader to show that...• Детали (доказательства и т. п.) мы оставляем читателю. - The details are left to the reader.• Мы оставляем в качестве упражнения (что-л)... - We leave it as a problem to show that...• Мы оставляем проверку этой формулы читателю в качестве упражнения. - We leave it as an exercise for the reader to check the formula.• Мы оставляем читателю доказательство обратного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю проверку данного утверждения. - We leave verification of this assertion to the reader.• Мы оставляем читателю проверку того, что... - It is left for the reader to verify that... -
13 проводить
(= провести) lead, carry on, carry out, conduct• Большая часть исследовательской работы была уже проведена. - Much research work has been accomplished.• Давайте проведем здесь данную процедуру для частного случая... - Let us carry out this procedure here for the special case of...• Данное рассуждение можно провести в обратном порядке (= Данное рассуждение обратимо), следовательно... - The argument is reversible so that...• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Однако следует попробовать провести такой анализ с целью... - But such an analysis has to be attempted in order to...• Подобное рассуждение могло бы быть проведено с использованием... - A similar argument may be made using...• Поучительно провести детальное решение... - It is instructive to carry out in detail the solution of...• Существуют несколько способов как провести введение в теорию... - There are several ways of introducing the theory of...• Удовлетворительный анализ был проведен на образцах, имеющих... - Satisfactory analysis has been performed on samples having...• Хотя мы и не проводили многочисленные эксперименты, тем не менее, мы ожидаем, что... - Although no extensive experiments have been carried out, we expect that...• Часто удобно проводить последнюю процедуру... - It is often convenient to carry out the latter process by... -
14 ανταπόδειξη
[-ις (-εως)] η1) доказательство обратного; 2) юр. отклонение (обвинения и т. п.) -
15 preuve
f1) доказательство, довод, основание; знак чего-либо, свидетельство; уликаavoir preuve en main — располагать уликами, иметь доказательства в рукахproduire des preuves — представить доказательстваcroire une chose jusqu'à preuve (du) contraire — верить чему-либо, пока не будет доказательства обратногоfaire la preuve de... — доказыватьfaire preuve de..., donner une preuve de... — проявить, доказать, обнаружитьfaire ses preuves — проявить себя; зарекомендовать себя(à) preuve — в доказательство, как доказательство2) проверка ( решения задачи)3) испытание; хим. проба -
16 riprova
fa riprova — в доказательство, в подтверждениеsottoppore a prove e riprove — проверить самым тщательным / тщательнейшим образом4) мат. проверка ( с помощью обратного действия)•Syn: -
17 riprova
ripròva f 1) повторная проверка; повторное испытание 2) новое доказательство, дополнительное подтверждение a riprova -- в доказательство, в подтверждение sottopporre a prove e riprove -- проверить самым тщательным <тщательнейшим> образом 3) противоположное доказательство 4) mat проверка (с помощью обратного действия) -
18 riprova
ripròva f 1) повторная проверка; повторное испытание 2) новое доказательство, дополнительное подтверждение a riprova — в доказательство, в подтверждение sottopporre a prove e riprove — проверить самым тщательным <тщательнейшим> образом 3) противоположное доказательство 4) mat проверка ( с помощью обратного действия) -
19 proof by contradiction
1) Математика: доказательство от обратного, доказательство от противного2) Программирование: доказательство методом "от противного"Универсальный англо-русский словарь > proof by contradiction
-
20 reductio ad absurdum proof
Математика: (by) доказательство от противного, доказательство от обратногоУниверсальный англо-русский словарь > reductio ad absurdum proof
- 1
- 2
См. также в других словарях:
Гипотеза Ходжа — Задачи тысячелетия Равенство классов P и NP Гипотеза Ходжа Гипотеза Пуанкаре Гипотеза Римана Квантовая теория Янга Миллса Существование и гладкость решений уравнений Навье Стокса Гипотеза Бёрча Свиннертон Дайера Гипотеза Ходжа… … Википедия
Жеребцова, Полина Викторовна — Полина Жеребцова Имя при рождении: Полина Викторовна Жеребцова Дата рождения … Википедия
Экскаватор — Видеть во сне приближающийся экскаватор с поднятым ковшом для женщин: если вам казалось, что у вас в жизни все до приторности спокойно, нет никаких интересных встреч и знакомств, то вот вам доказательство обратного сон говорит о том, что вскоре… … Cонник Фрейда
Функция Эйлера — Не следует путать с функцией распределения простых чисел. Первая тысяча значений Функция Эйлера φ(n) мультипликативная … Википедия
Шнобелевская премия — Викиновости по теме: Антинобелевские премии 2006 … Википедия
Коэффициент корреляции — (Correlation coefficient) Коэффициент корреляции это статистический показатель зависимости двух случайных величин Определение коэффициента корреляции, виды коэффициентов корреляции, свойства коэффициента корреляции, вычисление и применение… … Энциклопедия инвестора
СЕРДЦЕ — СЕРДЦЕ. Содержание: I. Сравнительная анатомия........... 162 II. Анатомия и гистология........... 167 III. Сравнительная физиология.......... 183 IV. Физиология................... 188 V. Патофизиология................ 207 VІ. Физиология, пат.… … Большая медицинская энциклопедия
ПРОНИЦАЕМОСТЬ — ПРОНИЦАЕМОСТЬ, способность перегородки или мембраны пропускать растворенные вещества. Если мембрана, пропуская одни вещества, задерживает другие, она называется полупроницаемой. Обычно полупроницаемые мембраны пропускают растворитель (напр. воду) … Большая медицинская энциклопедия
Александр II (часть 2, I-VII) — ЧАСТЬ ВТОРАЯ. Император Александр II (1855—1881). I. Война (1855). Высочайший манифест возвестил России о кончине Императора Николая и о воцарении его преемника. В этом первом акте своего царствования молодой Государь принимал пред лицом… … Большая биографическая энциклопедия
система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… … Словарь-справочник терминов нормативно-технической документации
Пушкин, Александр Сергеевич — — родился 26 мая 1799 г. в Москве, на Немецкой улице в доме Скворцова; умер 29 января 1837 г. в Петербурге. Со стороны отца Пушкин принадлежал к старинному дворянскому роду, происходившему, по сказанию родословных, от выходца "из… … Большая биографическая энциклопедия